|
BulDML at Institute of Mathematics and Informatics >
Browsing by Author "Krämer, Walter"
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | Publisher | | 2010 | Computer-Assisted Proofs and Symbolic Computations | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2007 | Computing and Visualizing Solution Sets of Interval Linear Systems | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2010 | Extension of the C-XSC Library with Scalar Products with Selectable Accuracy | Zimmer, Michael; Krämer, Walter; Bohlender, Gerd; Hofschuster, Werner | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2010 | Integration of C-XSC Automatic Differentiation in Mathematica | Popova, Evgenija D.; Krämer, Walter; Russev, Milan | Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences |
| 2007 | Introduction to the Maple Power Tool Intpakx | Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
| 2010 | A Solver for Complex-Valued Parametric Linear Systems | Popova, Evgenija; Kolev, Lyubomir; Krämer, Walter | Institute of Mathematics and Informatics Bulgarian Academy of Sciences |
Showing results 1 to 6 of 6
|
